-
1 standard semantics
-
2 standard semantics
The New English-Russian Dictionary of Radio-electronics > standard semantics
-
3 non-standard semantics
English-Russian electronics dictionary > non-standard semantics
-
4 non-standard semantics
The New English-Russian Dictionary of Radio-electronics > non-standard semantics
-
5 semantics
-
6 semantics
вчт.- denotational semantics
- mathematical semantics
- non-standard semantics
- operational semantics
- procedural semantics
- programming language semantics
- reduction semantics
- semantics of application domain
- standard semanticsThe New English-Russian Dictionary of Radio-electronics > semantics
-
7 It was thus an appropriate time to define both the syntax and semantics of a standard core of library routines that would be useful to a wide range of users and efficiently implementable on a wide range of computers
Общая лексика: Пришло время определить синтаксисУниверсальный англо-русский словарь > It was thus an appropriate time to define both the syntax and semantics of a standard core of library routines that would be useful to a wide range of users and efficiently implementable on a wide range of computers
-
8 DSSSL
1) Сокращение: Document Style, Semantics & Specification Language -
9 BCS
1) Общая лексика: British Crime Survey2) Компьютерная техника: Baseline Configuration System3) Медицина: Budd-Chiari syndrome4) Спорт: Basketball Championship Showdown, Baylor's Conference Schedule, Blame Coach Snyder, Bowden Championship Series, Boy, The Cornhuskers Suck5) Военный термин: Baseline Comparison System, Basic Combined Set, Battery Command System, Big Country Squadron, backup control system, basic contract specifications, battery commander's station, battery computer system, battlefield computer system, battlefield control system, beam communications set, broadcast control station6) Техника: Bachelor of Chemical Science, Bragg crystal spectrometer, blip counter system, block check sequence, block control signal, blowdown cleanup system, broadcast communications system, broadcasting station, buried channel structure, burst communications system7) Сельское хозяйство: body condition score8) Шутливое выражение: Because Cincinnati Stinks, Better Check The Standings, Big Convoluted System, Biggest Crock Of Stuff, Bouncing Cookie Stars, Bowl Confusion Series9) Лингвистика: Bosnian-Croatian-Serbian, БХС10) Финансы: Bulk Clearing System, Система пакетного клиринга11) Грубое выражение: Beat Cal Stupid, Biased Corrupt Stupid, Big Crappy Shit, Big Crappy System, Big Crock Of Shit, Blown Championship Suckers, Bowl Crap Shoot, Bring Cash, Suckers, Bull Crap Shit, Bull Crap Solution, Bull Crap Standings, Bull Crap Stuff, Bull Crap System, Bullshit Championship Series, Bullshit Controversy System, Bumbling Crappy System, The Bowl Crap Series12) Телекоммуникации: Basic Combined Subset13) Сокращение: Ballistic Computer System, Battalion Casualty Station, Boston Computer Society, British Calibration Service, Broadcast Control Segment, Broadcast Control Site, Buoy Camera System, Bachelor of Commercial Science, Basic Catalogue Structure, Biopharmaceutical Classification System (Биофармацевтический классификатор)14) Университет: Badgers Crush Stanford, Balfour Collegiate Student, Because Carolina Should, Botched Cornhusker Selection, Bowden Counting System, Bowl Championship Series15) Физика: БКШ, БКШ-теория, теория БКШ, теория сверхпроводимости Бардина-Купера-Шриффера, BCS superconductivity theory, BCS theory of superconductivity, Bardin-Cooper-Schrieffer theory17) Вычислительная техника: Backplane Communication Services, Binary Compatibility Standard, British Computer Society, базовая структура каталога, Banking Communication Standard (Banking), Block Check Sequenz (GPRS, GSM, Mobile-Systems), Binary Compatibility Standard (Motorola), Basic Control System (OS, HP, HP 2100), British Computer Society (organization, UK)18) Нефть: borehole compensated sonic log19) Токсикология: компания Bayer CropScience AG20) Космонавтика: британское общество вычислительной техники21) Транспорт: Best Climb Speed, Border Cargo Selectivity22) Силикатное производство: British Ceramic Society23) Фирменный знак: Brown Composition Systems24) Энергетика: Система Шариковой Очистки25) Деловая лексика: Best Choice Selected26) Образование: Brilliant Caring Spectacular27) Сетевые технологии: Block Closure Semantics, basic catalog structure, block checking sequence, контрольная последовательность блока данных28) Полимеры: both-coated sides29) Автоматика: breakage control system30) Химическое оружие: Bulk chemical storage31) Расширение файла: Bar Code Sorter, British Computing Society, Windows95 Browse information32) Нефть и газ: ДКС, дожимная компрессорная станция, передаточная компрессорная станция, подпорная компрессорная станция, booster compressor station, boosting compressor station33) Общественная организация: Bethany Christian Services34) Должность: Bachelor of Computer Science35) Чат: Big Crock Of Stuff, Bonkers Crazy Scary36) Правительство: Bowl Championship System37) NYSE. Barclays, P. L. C.38) Программное обеспечение: Business Critical Services (Symantec) -
10 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language -
11 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- a programming language
- abstract machine language
- actor language
- agent communication language
- algebraic logic functional language
- algorithmic language
- amorhic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language
- axiomatic architecture description language
- basic combined programming language
- block-structured language
- boundary scan description language
- business-oriented language
- business-oriented programming language
- categorical abstract machine language
- categorical language
- cellular language
- combined programming language
- command language
- common business-oriented language
- common language
- compiled language
- compiler language
- computer hardware description language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-sensitive language
- concurrent language
- configuration language
- constraint language
- context-free language
- context-sensitive language
- conversational language
- coordinate language
- data definition language
- data description language
- data manipulation language
- data structure language
- database language
- database query language
- declarative language
- declarative markup language
- definitional constraint language
- definitional language
- design language
- device media control language
- digital system design language
- document style semantics and specification language
- domain-specific language
- dynamic hypertext markup language
- dynamic simulation language
- dynamically scoped language
- elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible hypertext markup language
- extensible language
- extensible markup language
- fabricated language
- fifth-generation language
- first-generation language
- formal language
- formalized language
- fourth-generation language
- frame language
- function graph language
- functional language
- functional programming language
- geometrical layout description language
- graphics language
- graph-oriented language
- hardware description language
- Hewlett-Packard graphics language
- Hewlett-Packard printer control language
- high-level language
- high-order language
- host language
- hypersymbol language
- hypertext markup language plus
- hypertext markup language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language
- interactive set language
- intermediate language
- interpreted language
- Java interface definition language
- Java language
- Java programming language
- job control language
- Jules' own version of the international algorithmic language
- knowledge query and manipulation language
- left-associative language
- lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language
- man-machine language
- mathematical markup language
- matrix-based programming language
- meta language
- mnemonic language
- musical language
- my favorite toy language
- native language
- native-mode language
- natural language
- network control language
- network description language
- noninteractive language
- nonprocedural language
- object language
- object-oriented language
- page description language
- parallel object-oriented language
- partial differential equation language
- pattern-matching language
- physical language
- picture query language
- polymorphic language
- portable language
- portable standard language
- practical extraction and report language
- prescriptive language
- print control language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robotic control language
- robot-level language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language
- second-generation language
- sense language
- server-parsed hypertext markup language
- set language
- sign language
- simulation language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification and assertion language
- specification language
- stack-based language
- standard generalized markup language
- statically scoped language
- stratified language
- stream language
- string-handling language
- string-oriented symbolic language
- string-processing language
- strongly-typed language
- structural design language
- structured query language
- subset language
- symbolic language
- symbolic layout description language
- synchronized multimedia integration language
- target language
- thing language
- third-generation language
- threaded language
- tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language
- very-high-speed integrated circuit hardware description language
- Vienna definition language
- virtual reality modeling language
- visual language
- well-structured programming language
- wireless markup languageThe New English-Russian Dictionary of Radio-electronics > language
-
12 CTS
1) Компьютерная техника: Conformance Test System, Consolidated Tape System, cut-trough switching2) Авиация: control temperature sensor3) Военный термин: Cadet Training Ship, Change Tracking System, Chief, Technical Services, Common Targeting System, Communications Technology Satellite, Conflict Tactic Scales, Contact Test Set, central tactical system, central target simulator, central training section, command and telemetry system, communications test set, components test set, computerized training system, contractor technical support, cosmic top secret, courier transfer station, course training standard4) Техника: communications and tracking subsystem, communications and tracking system, communications technician, special devices operator, communications technological satellite, communications test station, compact tension specimen, component test system, concentrate transfer system, condensate transfer and storage, containment spray system, cryogenic temperature sensor, current technical specification, сертифицированный технический специалист5) Математика: Cross Table Sampling6) Бухгалтерия: Cash To Spend7) Автомобильный термин: coolant temperature sensor, charge temperature switch (Chrysler)8) Металлургия: Controlled Thermal Severity9) Телекоммуникации: Call Tracking System, сигнал "готов к передаче", Clear To Send (EIA-232-E), Common Transport Semantics (IBM)10) Сокращение: Casualty Transport Ship, Clear to Send (communications protocol signal), Common Termination System, Communications Training System, Compatible Timesharing System, Composite Training Squadron (USAF), Compulsive Travellers Syndrome, Computerized Tomography Scanner, Contingency Transfer System, Course Training Standards, Culler - Tiler - Singler, close to shoulder, count per second, Clear To Send (EIA RS-232-C), Carpal Tunnel Syndrome, complete timing set11) Университет: Career Technology Studies, Classroom Technology Services12) Физиология: Cardio Thoracic Surgery, Compulsive Traveller's Syndrome13) Вычислительная техника: Clear To Send, Clear To Send (EIA RS-232-C), Common Type System (OOP, CLR, MS,.NET, CLS), Conformance Testing Service (OSTC), Compatibility Test Suite (Sun, J2EE), Cipher Text Stealing (mode, Verschluesselung)14) Нефть: condensate to surface15) Иммунология: Clinical Technical Support16) Космонавтика: Communication Technology Satellite17) Транспорт: Cleveland Transit System, Commodity Transportation Survey18) Воздухоплавание: Contralateral Threshold Shift19) Фирменный знак: Carmichael Training Systems21) Деловая лексика: Certified Temporary Staffing, Combined Trading System, контейнерное судно, контейнеровоз (container ship)22) Образование: Critical Thinking Skills23) Сетевые технологии: Cluster Testing System, Component Transaction Server, communication terminal synchronous, сброс передатчика, синхронный коммуникационный терминал24) Полимеры: container-transport system, continuous-time service25) Химическое оружие: CTR Transportation Support, Contractor transportation support26) Расширение файла: Common Test Subroutines, Customer Telephone System, Permanent location contents (ABC programming language), Computer Telephony Solution (IBM)27) Электротехника: cable tyre sheath28) Станки: Охлаждение через шпиндель (Colant through spindle)29) Должность: Certified Technology Specialist, Certified Temporary Specialists, Certified Trauma Specialist30) NYSE. C T S Corporation31) НАСА: Commercial To Space32) Международная торговля: Corporate Translation Services -
13 Cts
1) Компьютерная техника: Conformance Test System, Consolidated Tape System, cut-trough switching2) Авиация: control temperature sensor3) Военный термин: Cadet Training Ship, Change Tracking System, Chief, Technical Services, Common Targeting System, Communications Technology Satellite, Conflict Tactic Scales, Contact Test Set, central tactical system, central target simulator, central training section, command and telemetry system, communications test set, components test set, computerized training system, contractor technical support, cosmic top secret, courier transfer station, course training standard4) Техника: communications and tracking subsystem, communications and tracking system, communications technician, special devices operator, communications technological satellite, communications test station, compact tension specimen, component test system, concentrate transfer system, condensate transfer and storage, containment spray system, cryogenic temperature sensor, current technical specification, сертифицированный технический специалист5) Математика: Cross Table Sampling6) Бухгалтерия: Cash To Spend7) Автомобильный термин: coolant temperature sensor, charge temperature switch (Chrysler)8) Металлургия: Controlled Thermal Severity9) Телекоммуникации: Call Tracking System, сигнал "готов к передаче", Clear To Send (EIA-232-E), Common Transport Semantics (IBM)10) Сокращение: Casualty Transport Ship, Clear to Send (communications protocol signal), Common Termination System, Communications Training System, Compatible Timesharing System, Composite Training Squadron (USAF), Compulsive Travellers Syndrome, Computerized Tomography Scanner, Contingency Transfer System, Course Training Standards, Culler - Tiler - Singler, close to shoulder, count per second, Clear To Send (EIA RS-232-C), Carpal Tunnel Syndrome, complete timing set11) Университет: Career Technology Studies, Classroom Technology Services12) Физиология: Cardio Thoracic Surgery, Compulsive Traveller's Syndrome13) Вычислительная техника: Clear To Send, Clear To Send (EIA RS-232-C), Common Type System (OOP, CLR, MS,.NET, CLS), Conformance Testing Service (OSTC), Compatibility Test Suite (Sun, J2EE), Cipher Text Stealing (mode, Verschluesselung)14) Нефть: condensate to surface15) Иммунология: Clinical Technical Support16) Космонавтика: Communication Technology Satellite17) Транспорт: Cleveland Transit System, Commodity Transportation Survey18) Воздухоплавание: Contralateral Threshold Shift19) Фирменный знак: Carmichael Training Systems21) Деловая лексика: Certified Temporary Staffing, Combined Trading System, контейнерное судно, контейнеровоз (container ship)22) Образование: Critical Thinking Skills23) Сетевые технологии: Cluster Testing System, Component Transaction Server, communication terminal synchronous, сброс передатчика, синхронный коммуникационный терминал24) Полимеры: container-transport system, continuous-time service25) Химическое оружие: CTR Transportation Support, Contractor transportation support26) Расширение файла: Common Test Subroutines, Customer Telephone System, Permanent location contents (ABC programming language), Computer Telephony Solution (IBM)27) Электротехника: cable tyre sheath28) Станки: Охлаждение через шпиндель (Colant through spindle)29) Должность: Certified Technology Specialist, Certified Temporary Specialists, Certified Trauma Specialist30) NYSE. C T S Corporation31) НАСА: Commercial To Space32) Международная торговля: Corporate Translation Services -
14 cts
1) Компьютерная техника: Conformance Test System, Consolidated Tape System, cut-trough switching2) Авиация: control temperature sensor3) Военный термин: Cadet Training Ship, Change Tracking System, Chief, Technical Services, Common Targeting System, Communications Technology Satellite, Conflict Tactic Scales, Contact Test Set, central tactical system, central target simulator, central training section, command and telemetry system, communications test set, components test set, computerized training system, contractor technical support, cosmic top secret, courier transfer station, course training standard4) Техника: communications and tracking subsystem, communications and tracking system, communications technician, special devices operator, communications technological satellite, communications test station, compact tension specimen, component test system, concentrate transfer system, condensate transfer and storage, containment spray system, cryogenic temperature sensor, current technical specification, сертифицированный технический специалист5) Математика: Cross Table Sampling6) Бухгалтерия: Cash To Spend7) Автомобильный термин: coolant temperature sensor, charge temperature switch (Chrysler)8) Металлургия: Controlled Thermal Severity9) Телекоммуникации: Call Tracking System, сигнал "готов к передаче", Clear To Send (EIA-232-E), Common Transport Semantics (IBM)10) Сокращение: Casualty Transport Ship, Clear to Send (communications protocol signal), Common Termination System, Communications Training System, Compatible Timesharing System, Composite Training Squadron (USAF), Compulsive Travellers Syndrome, Computerized Tomography Scanner, Contingency Transfer System, Course Training Standards, Culler - Tiler - Singler, close to shoulder, count per second, Clear To Send (EIA RS-232-C), Carpal Tunnel Syndrome, complete timing set11) Университет: Career Technology Studies, Classroom Technology Services12) Физиология: Cardio Thoracic Surgery, Compulsive Traveller's Syndrome13) Вычислительная техника: Clear To Send, Clear To Send (EIA RS-232-C), Common Type System (OOP, CLR, MS,.NET, CLS), Conformance Testing Service (OSTC), Compatibility Test Suite (Sun, J2EE), Cipher Text Stealing (mode, Verschluesselung)14) Нефть: condensate to surface15) Иммунология: Clinical Technical Support16) Космонавтика: Communication Technology Satellite17) Транспорт: Cleveland Transit System, Commodity Transportation Survey18) Воздухоплавание: Contralateral Threshold Shift19) Фирменный знак: Carmichael Training Systems21) Деловая лексика: Certified Temporary Staffing, Combined Trading System, контейнерное судно, контейнеровоз (container ship)22) Образование: Critical Thinking Skills23) Сетевые технологии: Cluster Testing System, Component Transaction Server, communication terminal synchronous, сброс передатчика, синхронный коммуникационный терминал24) Полимеры: container-transport system, continuous-time service25) Химическое оружие: CTR Transportation Support, Contractor transportation support26) Расширение файла: Common Test Subroutines, Customer Telephone System, Permanent location contents (ABC programming language), Computer Telephony Solution (IBM)27) Электротехника: cable tyre sheath28) Станки: Охлаждение через шпиндель (Colant through spindle)29) Должность: Certified Technology Specialist, Certified Temporary Specialists, Certified Trauma Specialist30) NYSE. C T S Corporation31) НАСА: Commercial To Space32) Международная торговля: Corporate Translation Services -
15 implementable
например, об алгоритме или приложении.It was thus an appropriate time to define both the syntax and semantics of a standard core of library routines that would be useful to a wide range of users and efficiently implementable on a wide range of computers. — Пришло время определить синтаксис и семантику стандартного набора библиотечных программ, которые были бы полезны самым разным пользователям и которые можно было бы эффективно реализовать на самых разных платформах см. тж. implementability, implementation
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > implementable
См. также в других словарях:
Standard Spanish — or neutral Spanish is a linguistic variety, or lect, that is considered a correct educated standard for the Spanish language. Standard Spanish is not merely Spanish adjusted to fit in prescriptive molds dictated by a linguistic overseeing… … Wikipedia
Semantics of Business Vocabulary and Business Rules — The Semantics of Business Vocabulary and Business Rules (SBVR) is an adopted standard of the Object Management Group (OMG) intended to be the basis for a formal and detailed natural language declarative description of a complex entity, such as a… … Wikipedia
semantics — semanticist /si man teuh sist/, semantician /see man tish euhn/, n. /si man tiks/, n. (used with a sing. v.) 1. Ling. a. the study of meaning. b. the study of linguistic development by classifying and examining changes in meaning and form. 2.… … Universalium
Standard streams — In Unix and Unix like operating systems, as well as certain programming language interfaces, the standard streams are preconnected input and output channels between a computer program and its environment (typically a text terminal) when it begins … Wikipedia
Standard Template Library — C++ Standard Library fstream iomanip ios iostream sstream string … Wikipedia
Standard ML — Infobox programming language name = Standard ML logo = paradigm = multi paradigm: functional, imperative year = designer = typing = strong, static, inferred dialects = Alice, Dependent ML implementations = MLton, MLWorks, Moscow ML, Poly/ML,… … Wikipedia
Standard Generalized Markup Language — Vorlage:Infobox Dateiformat/Wartung/MagischeZahl fehltVorlage:Infobox Dateiformat/Wartung/Entwickler fehltVorlage:Infobox Dateiformat/Wartung/Website fehlt Standard Generalized Markup Language … Deutsch Wikipedia
Truth-value semantics — In formal semantics, truth value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc, and M. Dunn and N. Belnap. It is also called the substitution interpretation (of the… … Wikipedia
Operational semantics — In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics (or small step semantics)… … Wikipedia
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
Non-standard model — See also Interpretation (logic) In model theory, a discipline within mathematical logic, a non standard model is a model of a theory that is not isomorphic to the intended model (or standard model). If the intended model is infinite and the… … Wikipedia
